1
Escalando hacia arriba: De ecuaciones lineales de segundo a n-ésimo orden
MATH009Lesson 4
00:00
Escalarse desde ecuaciones diferenciales lineales de segundo orden hasta ecuaciones de $n$-ésimo orden representa un cambio fundamental en la complejidad del modelado. Mientras que una ecuación de segundo orden normalmente rastrea un solo objeto oscilante, las ecuaciones de $n$-ésimo orden nos permiten describir sistemas de múltiples grados de libertad, como componentes mecánicos interconectados o redes eléctricas complejas. Esta transición generaliza el operador diferencial lineal $L$, mostrando que ya sea que tratemos con dos derivadas o veinte, la arquitectura del espacio de soluciones —determinada por el principio de superposición— permanece hermosamente consistente.

La Arquitectura de las EDOs de Orden Superior

Una ecuación diferencial lineal de $n$-ésimo orden se caracteriza por su derivada de mayor orden. Definimos la forma general como la Ecuación (1):

$$P_0(t) \frac{d^n y}{dt^n} + P_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + P_{n-1}(t) \frac{dy}{dt} + P_n(t)y = G(t)$$ (1)

Para facilitar el análisis teórico, a menudo normalizamos esta ecuación dividiéndola entre $P_0(t)$, suponiendo que no es cero en el intervalo de interés. Esto da como resultado la Forma Estándar (Ecuación 2):

$$L[y] = \frac{d^n y}{dt^n} + p_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + p_{n-1}(t) \frac{dy}{dt} + p_n(t)y = g(t)$$ (2)

Notación de Operador y Coeficientes Constantes

La complejidad de $n$ derivadas se condensa en un único operador lineal $L$. Cuando los coeficientes son constantes ($a_n$), la expresión se simplifica a:

$L[y] = a_0y^{(n)} + a_1y^{(n-1)} + \dots + a_{n-1}y' + a_ny = g(t)$

Esta notación enfatiza que $L$ actúa de manera lineal: $L[c_1y_1 + c_2y_2] = c_1L[y_1] + c_2L[y_2]$. Este principio garantiza que la solución general esté compuesta por una solución complementaria ($y_c$) y una solución particular ($Y$).

Intuición Física: El Sistema de Masas Acopladas

Considere Figura 4.2.4: Un sistema de dos resortes y dos masas con masas $m_1, m_2$ y desplazamientos $u_1, u_2$. La física produce dos ecuaciones acopladas de segundo orden. Al aislar $u_1$ mediante sustitución, generamos una única ecuación de cuarto orden ecuación. Para resolverla, necesitamos 4 condiciones iniciales (posición y velocidad para cada masa) para encontrar una trayectoria física única.

Ejemplo Resuelto: La Solución Homogénea

Encuentre la solución general de la ecuación diferencial: $y''' - y'' - y' + y = 0$

Paso 1: Ecuación Característica

Suponga $y = e^{rt}$. Sustituyendo en la EDO da: $r^3 - r^2 - r + 1 = 0$.

Paso 2: Factorización

Factorice por agrupación: $r^2(r - 1) - 1(r - 1) = 0 \implies (r^2 - 1)(r - 1) = 0$.
Esto se expande como $(r - 1)(r + 1)(r - 1) = (r - 1)^2(r + 1) = 0$.

Paso 3: Construcción de la Solución

Las raíces son $r = 1$ (multiplicidad 2) y $r = -1$. Debido a que $r=1$ se repite, multiplicamos el segundo término por $t$.

$y_c(t) = c_1e^t + c_2te^t + c_3e^{-t}$

🎯 Principio Fundamental: Escalar el Espacio de Soluciones
Una EDO lineal de $n$-ésimo orden requiere exactamente $n$ soluciones linealmente independientes para cubrir su espacio de soluciones. El determinante de Wronskian $W(y_1, \dots, y_n)$ debe ser distinto de cero para garantizar esta independencia.